Visits of International Scientists

Hermann Haeusler, Bruno Bruno Lopes and Cecilia Englander, from the University PUC Rio have visited Deducteam.

Ying Jiang from the Institute of software of the Chinese Academy of Sciences has visited Deducteam.

Visits to International Teams

Gilles Dowek has visited the University PUC Rio and the Institute of software of the Chinese Academy of Sciences.